1888 search results - page 192 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
153
click to vote
BCS
2008
15 years 5 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
138
click to vote
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
126
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
120
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates the utilization of the master-slave (MS) paradigm as an alternative to domain decomposition (DD) methods for parallelizing lattice gauge theory (LGT) model...
115
click to vote
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The success of recent Web 2.0 platforms shows that people share information and resources within their social community and beyond. The use of these platforms in an e-lea...