1713 search results - page 218 / 343 » Production programming in the classroom |
108
click to vote
IMC
2006
ACM
15 years 4 months ago
2006
ACM
In recent years, more than 200 viruses have been reported to use a peer-to-peer (P2P) file-sharing network as a propagation vector. Disguised as files that are frequently exchan...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents a novel technique, called input space adaptive software synthesis, for the energy and performance optimization of embedded software. The proposed technique is ...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
110
click to vote
OSDI
2008
ACM
15 years 10 days ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...