Sciweavers

241 search results - page 30 / 49
» Process Oriented Design for Java: Concurrency for All
Sort
View
FASE
2006
Springer
14 years 13 days ago
Automated Systematic Testing of Open Distributed Programs
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
Koushik Sen, Gul Agha
ICIP
2009
IEEE
13 years 6 months ago
Windows and facades retrieval using similarity on graph of contours
The development of street-level geoviewers become recently a very active and challenging research topic. In this context, the detection, representation and classification of windo...
Jean-Emmanuel Haugeard, Sylvie Philipp-Foliguet, F...
SIGCSE
2006
ACM
362views Education» more  SIGCSE 2006»
14 years 2 months ago
Chirp on crickets: teaching compilers using an embedded robot controller
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
Li Xu, Fred G. Martin
MEMOCODE
2007
IEEE
14 years 3 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
OOPSLA
2010
Springer
13 years 7 months ago
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
Michal Wegiel, Chandra Krintz