5977 search results - page 625 / 1196 » Hierarchical Performance Modeling for Distributed System Arc... |
199
click to vote
JNCA
2008
15 years 7 months ago
2008
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
225
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
181
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
209
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— We are currently witnessing an increasing interest in the use of the web as an information and knowledge source. Much of the information sought after in the web is in this case...
212
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...