Sciweavers

3025 search results - page 305 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
FMOODS
2007
15 years 5 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
ICSM
2008
IEEE
15 years 10 months ago
Identifying the root causes of memory bugs using corrupted memory location suppression
We present a general approach for automatically isolating the root causes of memory-related bugs in software. Our approach is based on the observation that most memory bugs involv...
Dennis Jeffrey, Neelam Gupta, Rajiv Gupta
DATE
2004
IEEE
164views Hardware» more  DATE 2004»
15 years 7 months ago
System Design Using Kahn Process Networks: The Compaan/Laura Approach
New emerging embedded system platforms in the realm of highthroughput multimedia, imaging, and signal processing will consist of multiple microprocessors and reconfigurable compon...
Todor Stefanov, Claudiu Zissulescu, Alexandru Turj...
SIGMOD
2006
ACM
145views Database» more  SIGMOD 2006»
16 years 4 months ago
Automatic client-server partitioning of data-driven web applications
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
Nicholas Gerner, Fan Yang 0002, Alan J. Demers, Jo...
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
15 years 10 months ago
Self-organizing primitives for automated shape composition
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
Linge Bai, Manolya Eyiyurekli, David E. Breen