5600 search results - page 718 / 1120 » Synthesizing robust systems |
171
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
170
click to vote
NOMS
1998
IEEE
15 years 11 months ago
1998
IEEE
Current advances in networking, computing, software and web technologies have led to an explosive growth in the development of networked applications. Management of large-scale ne...
155
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
208
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
We consider the problem of evaluating retrieval systems using incomplete judgment information. Buckley and Voorhees recently demonstrated that retrieval systems can be efficiently...
196
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Many SMEs and non-profit organizations suffer when their Web servers become unavailable due to flash crowd effects when their web site becomes popular. One of the solutions to the ...