Sciweavers

2035 search results - page 317 / 407
» Communicating Scala Objects
Sort
View
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
14 years 3 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
CBMS
2002
IEEE
14 years 2 months ago
How to Add Content-based Image Retrieval Capability in a PACS
This paper presents a new Picture Archiving and Communication System (PACS), called cbPACS which has content-based image retrieval resources. The cbPACS answers similarity queries...
Josiane M. Bueno, Fabio Jun Takada Chino, Agma J. ...
DSN
2002
IEEE
14 years 2 months ago
Time-Constrained Failure Diagnosis in Distributed Embedded Systems
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
Nagarajan Kandasamy, John P. Hayes, Brian T. Murra...
EDOC
2002
IEEE
14 years 2 months ago
Model-Based Risk Assessment to Improve Enterprise Security
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
Jan Øyvind Aagedal, Folker den Braber, Theo...
IPPS
2002
IEEE
14 years 2 months ago
Compiler-Directed I/O Optimization
Despite continued innovations in design of I/O systems, I/O performance has not kept pace with the progress in processor and communication technology. This paper addresses this I/...
Mahmut T. Kandemir, Alok N. Choudhary