Sciweavers

1587 search results - page 160 / 318
» Software Engineering Programmes are not Computer Science Pro...
Sort
View
OOPSLA
2004
Springer
15 years 8 months ago
Converting Java classes to use generics
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...
Daniel von Dincklage, Amer Diwan
107
Voted
PEPM
2004
ACM
15 years 8 months ago
Component specialization
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
Gustavo J. Bobeff, Jacques Noyé
165
Voted
ICDT
2009
ACM
121views Database» more  ICDT 2009»
15 years 11 days ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
135
Voted
ANCS
2007
ACM
15 years 6 months ago
Ruler: high-speed packet matching and rewriting on NPUs
Programming specialized network processors (NPU) is inherently difficult. Unlike mainstream processors where architectural features such as out-of-order execution and caches hide ...
Tomas Hruby, Kees van Reeuwijk, Herbert Bos
118
Voted
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
15 years 9 months ago
Orchestrating concurrency in robot swarms
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
Anthony Cowley, Camillo J. Taylor