Sciweavers

3750 search results - page 507 / 750
» Timed Automata Patterns
Sort
View
110
Voted
IBPRIA
2003
Springer
15 years 8 months ago
Non-rigid Registration of Vessel Structures in IVUS Images
Abstract. We present a registration and retrieval algorithm of medical images. Our algorithm is oriented in a general fashion towards gray level medical images of non-rigid bodies ...
Jaume Amores, Petia Radeva
107
Voted
HICSS
2002
IEEE
109views Biometrics» more  HICSS 2002»
15 years 8 months ago
Multi-settlement Systems for Electricity Markets: Zonal Aggregation under Network Uncertainty and Market Power
We analyze alternative market designs for a multisettlement system for electricity in which the resolution of the transmission network model is increased as time approaches real-t...
Rajnish Kamat, Shmuel S. Oren
MICRO
2002
IEEE
104views Hardware» more  MICRO 2002»
15 years 8 months ago
Compiling for instruction cache performance on a multithreaded architecture
Instruction cache aware compilation seeks to lay out a program in memory in such a way that cache conflicts between procedures are minimized. It does this through profile-driven...
Rakesh Kumar, Dean M. Tullsen
139
Voted
RSP
2002
IEEE
121views Control Systems» more  RSP 2002»
15 years 8 months ago
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
M. Guler, S. Clements, N. Kejriwal, L. Wills, B. H...
RTSS
2002
IEEE
15 years 8 months ago
Scheduling Aperiodic Requests under the Rate-Based Execution Model
Aperiodic requests with unknown execution times and unknown arrival patterns are dynamically mapped to ratebased execution (RBE) tasks with variable rates and scheduled such that ...
Steve Goddard, Xin Liu