1640 search results - page 301 / 328 » Design of Synchronous Action Systems |
224
click to vote
SPIN
2012
Springer
13 years 2 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
113
click to vote
WWW
2005
ACM
16 years 14 days ago
2005
ACM
Design of high performance Web servers has become a recent research thrust to meet the increasing demand of networkbased services. In this paper, we propose a new Web server archi...
105
click to vote
MOBIQUITOUS
2007
IEEE
15 years 6 months ago
2007
IEEE
—This paper discusses the design and implementation of an ultra low power embedded GPS receiver node for use in remote monitoring situations where battery life is of the utmost i...
113
click to vote
CA
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
110
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we propose a generalized clustering approach for static data flow subgraphs mapped onto individual processors in Multi-Processor System on Chips (MPSoCs). The goal ...