33356 search results - page 6588 / 6672 » Models of Continual Computation |
141
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
155
click to vote
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
152
click to vote
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
118
click to vote
ECBS
2002
IEEE
15 years 8 months ago
2002
IEEE
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
139
Voted
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...