3171 search results - page 380 / 635 » Application of Reduce Order Modeling to Time Parallelization |
136
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
129
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
144
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Wireless microsensor networks have gained great momentum due to collaborative research efforts on various disciplines. It has made many useful applications possible. In a typical ...
147
click to vote
NSDI
2010
15 years 5 months ago
2010
Early web content was expressed statically, making it amenable to straightforward prefetching to reduce userperceived network delay. In contrast, today's rich web application...
144
click to vote
GPC
2007
Springer
15 years 10 months ago
2007
Springer
Grid systems are well-known for its high performance computing or large data storage with inexpensive devices. They can be categorized into two major types: computational grid and ...