Sciweavers

1517 search results - page 186 / 304
» New Approach To A Class Of Matrices
Sort
View
CA
2003
IEEE
15 years 10 months ago
Realistic Human Walking Paths
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...
David C. Brogan, Nicholas L. Johnson
FDL
2003
IEEE
15 years 10 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
ICSM
2002
IEEE
15 years 9 months ago
Run-time Evolution for Embedded Component-Oriented Systems
This position paper describes ongoing work in which the Java-based SEESCOA component system is extended with functionality for run-time evolution. First, an assessment is made of ...
Yves Vandewoude, Yolande Berbers
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
15 years 9 months ago
Developments in Spatio-Temporal Query Languages
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Martin Erwig, Markus Schneider
IPPS
1999
IEEE
15 years 9 months ago
LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems
This paper presents a new algorithm called List-based Load Balancing (LLB) for compile-time task scheduling on distributed-memory machines. LLB is intended as a cluster-mapping an...
Andrei Radulescu, Arjan J. C. van Gemund, Hai-Xian...