1585 search results - page 162 / 317 » A framework for computer-aided validation |
148
click to vote
ISLPED
1998
ACM
15 years 10 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...
157
click to vote
POPL
1998
ACM
15 years 10 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...
143
click to vote
ICSE
1997
IEEE-ACM
15 years 10 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...
185
click to vote
SIGCOMM
1996
ACM
15 years 10 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 ...
159
click to vote
MM
1994
ACM
15 years 10 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...