Sciweavers

667 search results - page 85 / 134
» Dynamic hardware software partitioning: a first approach
Sort
View
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
15 years 8 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
AIS
2000
Springer
14 years 11 months ago
The Evolve project: Component-based tailorability for CSCW applications
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and differentiation of cooperative work. This article investigates the use of softwa...
Oliver Stiemerling, Armin B. Cremers
ICRA
2007
IEEE
178views Robotics» more  ICRA 2007»
15 years 6 months ago
Increased Mars Rover Autonomy using AI Planning, Scheduling and Execution
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
Tara A. Estlin, Daniel M. Gaines, Caroline Chouina...
MSR
2006
ACM
15 years 5 months ago
Mining eclipse for cross-cutting concerns
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
Silvia Breu, Thomas Zimmermann, Christian Lindig
ICFEM
1998
Springer
15 years 4 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers