7380 search results - page 1006 / 1476 » Engineering Software Intensive Systems |
155
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
179
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
144
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
The vulnerabilities which plague computers cause endless grief to users. Slammer compromised millions of hosts in minutes; a hit-list worm would take under a second. Recently prop...
167
click to vote
HPCN
1998
Springer
15 years 9 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
165
click to vote
FECS
2010
15 years 3 months ago
2010
This paper describes the development of a system for teaching C/C++ using a LegoTM NXT in a CSI college course on introductory programming. The programming of the NXT robot has be...