Sciweavers

15777 search results - page 333 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
EUROSYS
2007
ACM
15 years 7 months ago
JIT instrumentation: a novel approach to dynamically instrument operating systems
Marek Olszewski, Keir Mierle, Adam Czajkowski, Ang...
93
Voted
EUROSYS
2007
ACM
15 years 7 months ago
Mobile-process-based ubiquitous computing platform: a blueprint
Holger Schmidt, Rüdiger Kapitza, Franz J. Hau...
109
Voted
FSTTCS
2007
Springer
15 years 7 months ago
Reconstructing Convex Polygons and Polyhedra from Edge and Face Counts in Orthogonal Projections
Therese C. Biedl, Masud Hasan, Alejandro Ló...
108
Voted
ICFEM
2007
Springer
15 years 7 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
ADAEUROPE
2006
Springer
15 years 7 months ago
A Systematic Approach to Developing Safe Tele-operated Robots
Diego Alonso, Pedro Sánchez, Bárbara...