Sciweavers

1181 search results - page 122 / 237
» UMTS MPSoC design evaluation using a system level design fra...
Sort
View
ICSEA
2009
IEEE
14 years 2 months ago
Towards Resource Consumption-Aware Programming
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
Andreas Holzer, Visar Januzaj, Stefan Kugele
CORR
2007
Springer
57views Education» more  CORR 2007»
13 years 8 months ago
Smartening the Environment using Wireless Sensor Networks in a Developing Country
 The miniaturization process of various sensing devices has become a reality by enormous research and advancements accomplished in Micro Electro-Mechanical Systems (MEMS) and Ve...
Al-Sakib Khan Pathan, Choong Seon Hong, Hyung-Woo ...
CONCUR
1998
Springer
14 years 8 days ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
DSN
2006
IEEE
14 years 2 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
MOBIHOC
2008
ACM
14 years 7 months ago
Efficient configuration and control of sanets using facts
ization of domain-specific programming abstractions for wireless sensor actor networks can greatly ease application development. A high level of abstraction from underlying system...
Kirsten Terfloth, Jochen H. Schiller