Sciweavers

15840 search results - page 701 / 3168
» The Control of Synchronous Systems
Sort
View
FMSD
2006
183views more  FMSD 2006»
15 years 7 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
JUCS
2008
143views more  JUCS 2008»
15 years 7 months ago
Defining Tasks, Domains and Conversational Acts in CSCW Systems: the SPACE-DESIGN Case Study
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
Rafael Duque, Jesús Gallardo, Crescencio Br...
JPDC
2006
187views more  JPDC 2006»
15 years 7 months ago
Maximum lifetime data sensing and extraction in energy constrained networked sensor systems
We focus on data gathering problems in energy constrained networked sensor systems. The system operates in rounds where a subset of the sensors generate a certain number of data p...
Bo Hong, Viktor K. Prasanna
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 7 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
182
Voted
EMSOFT
2010
Springer
15 years 5 months ago
Reducing stack with intra-task threshold priorities in real-time systems
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
Gang Yao, Giorgio C. Buttazzo