2251 search results - page 97 / 451 » Specification and Implementation Problems for C |
128
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
135
click to vote
SIGCOMM
1996
ACM
15 years 7 months ago
1996
ACM
Conventional implementations of communication middleware (such as CORBA and traditional RPC toolkits) incur considerable overhead when used for performance-sensitive applications ...
121
click to vote
INFSOF
2006
15 years 3 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
130
Voted
WORM
2003
15 years 4 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
141
Voted
ISCOPE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We discuss the parallelization and object-oriented implementation of Monte Carlo simulations for physical problems. We present a C++ Monte Carlo class library for the aut...