1585 search results - page 162 / 317 » A framework for computer-aided validation |
122
Voted
ISLPED
1998
ACM
15 years 7 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
121
Voted
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
116
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...
138
click to vote
SIGCOMM
1996
ACM
15 years 7 months ago
1996
ACM
Emerging indoor mobile computing environments seek to provide a user with an advanced setofcommunication-intensive applications, which require sustained quality of service in the ...
129
Voted
MM
1994
ACM
15 years 7 months ago
1994
ACM
: One of the major obstacles facing designers of video conferencing systems is the problem of ameliorating the effects of congestion on interconnected packet-switched networks that...