Sciweavers

495 search results - page 42 / 99
» Abstract Numeration Systems and Tilings
Sort
View
SPIN
2005
Springer
14 years 3 months ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler
JSAC
2008
112views more  JSAC 2008»
13 years 10 months ago
System Design Considerations for Undersea Networks: Link and Multiple Access Protocols
Abstract--We address several inter-related aspects of underwater network design within the context of a cross-layer approach. We first highlight the impact of key characteristics o...
Nathan Parrish, Leonard T. Tracy, Sumit Roy, Payma...
SIAMSC
2008
125views more  SIAMSC 2008»
13 years 9 months ago
Hybrid Simulations of Reaction-Diffusion Systems in Porous Media
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
Alexandre M. Tartakovsky, Daniel M. Tartakovsky, T...
ICRA
2008
IEEE
158views Robotics» more  ICRA 2008»
14 years 4 months ago
Informed visual search: Combining attention and object recognition
Abstract— This paper studies the sequential object recognition problem faced by a mobile robot searching for specific objects within a cluttered environment. In contrast to curr...
Per-Erik Forssén, David Meger, Kevin Lai, S...
JSSPP
2007
Springer
14 years 4 months ago
New Challenges of Parallel Job Scheduling
Abstract. The workshop on job scheduling strategies for parallel processing (JSSPP) studies the myriad aspects of managing resources on parallel and distributed computers. These st...
Eitan Frachtenberg, Uwe Schwiegelshohn