410 search results - page 6 / 82 » Tool Support for Invariant Based Programming |
SAMOS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
HPCN
2000
Springer
13 years 11 months ago
2000
Springer
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
IHI
2012
12 years 3 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
AAAI
1994
13 years 8 months ago
1994
Widespread access to the Internet has led to the formation of geographically dispersed scientific communities collaborating through the network. The tools supporting such collabor...
PPPJ
2003
ACM
14 years 21 days ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...