Sciweavers

3911 search results - page 416 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
DAC
2005
ACM
16 years 7 months ago
Minimising buffer requirements of synchronous dataflow graphs with model checking
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
Marc Geilen, Twan Basten, Sander Stuijk
CODES
1998
IEEE
15 years 11 months ago
Combining multiple models of computation for scheduling and allocation
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jür...
151
Voted
WSC
2004
15 years 8 months ago
Easy-SC: A Supply Chain Simulation Tool
To assist the decision makers, we develop a new supply chain simulation software: Easy-SC, a Java-based tool that simplifies the supply chain simulation. In its current state of d...
Juqi Liu, Wei Wang, Yueting Chai, Yi Liu
AVI
2006
15 years 8 months ago
Input interactions and context component based modelisations: differences and similarities
Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...
Diane Lingrand, Michel Riveill
IJWMC
2007
84views more  IJWMC 2007»
15 years 6 months ago
Towards all-IP wireless networks: architectures and resource management mechanism
Future wireless Internet will consist of different wireless technologies that should operate together in an efficient way to provide seamless connectivity to mobile users. The in...
Majid Ghaderi, Raouf Boutaba