Sciweavers

3724 search results - page 612 / 745
» Timed regular expressions
Sort
View
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
15 years 3 months ago
Optimal Formations for Cooperative Localization of Mobile Robots
— This paper studies the effects of the geometry of a mobile robot formation on the accuracy of the robots’ localization. The general case of heterogeneous (in terms of sensor ...
Yukikazu S. Hidaka, Anastasios I. Mourikis, Stergi...
ISPASS
2005
IEEE
15 years 3 months ago
Motivation for Variable Length Intervals and Hierarchical Phase Behavior
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed algorithms automatically group similar portions of a program’s execution ...
Jeremy Lau, Erez Perelman, Greg Hamerly, Timothy S...
WCRE
2005
IEEE
15 years 3 months ago
Enhancing Security Using Legality Assertions
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...
Lei Wang, James R. Cordy, Thomas R. Dean
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
15 years 3 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
SC
2005
ACM
15 years 3 months ago
Multilevel Parallelism in Computational Chemistry using Common Component Architecture and Global Arrays
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...
Manojkumar Krishnan, Yuri Alexeev, Theresa L. Wind...