674 search results - page 70 / 135 » Resource Bound Certification |
178
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
A key challenge for distributed real-time and embedded (DRE) middleware is maintaining both system reliability and desired real-time performance in unpredictable environments wher...
122
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
127
Voted
SSD
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we examine the dissemination of availability reports about resources in mobile peer-to-peer networks, where moving objects communicate with each other via short-range...
160
click to vote
HPDC
2002
IEEE
15 years 9 months ago
2002
IEEE
In high energy physics, bioinformatics, and other disciplines, we encounter applications involving numerous, loosely coupled jobs that both access and generate large data sets. So...
153
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...