Sciweavers

7971 search results - page 381 / 1595
» On unbounded operators and applications
Sort
View
SNPD
2008
15 years 8 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky
CATA
2004
15 years 8 months ago
The Instruction Execution Mechanism for Responsive Multithreaded Processor
This paper describes the instruction execution mechanism of Responsive Multithreaded (RMT) Processor for distributed real-time processing. The execution order of each thread is co...
Tstomu Itou, Nobuyuki Yamasaki
USENIX
2003
15 years 8 months ago
A Multi-User Virtual Machine
Recent efforts aimed at improving the scalability of the JavaTM platform have focused primarily on the safe collocation of multiple applications in the virtual machine. This is of...
Grzegorz Czajkowski, Laurent Daynès, Ben Ti...
AIPS
1996
15 years 8 months ago
Computing Parameter Domains as an Aid to Planning
Weshowthat by inferring parametexdomainsof planningoperators,given the definitions of the operators and the initial and goal conditions, we can often speed up the planning process...
Alfonso Gerevini, Lenhart K. Schubert
ASIAMS
2008
IEEE
15 years 7 months ago
A Noise Elimination Procedure for Printed Circuit Board Inspection System
Image difference operation is frequently used in automated printed circuit board (PCB) inspection system as well as in many other image processing applications. During the impleme...
Zuwairie Ibrahim, Noor Khafifah Khalid, Ismail Ibr...