33356 search results - page 6588 / 6672 » Models of Continual Computation |
243
Voted
PLDI
2010
ACM
16 years 22 days 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...
233
click to vote
WOLLIC
2010
Springer
16 years 22 days 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 ...
234
click to vote
APSEC
2002
IEEE
16 years 19 days 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...
209
Voted
ECBS
2002
IEEE
16 years 19 days 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...
242
click to vote
ICPP
2002
IEEE
16 years 18 days 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...