Sciweavers

2081 search results - page 94 / 417
» Chaotic Systems Synchronization in Secure Communication Syst...
Sort
View
LCPC
1994
Springer
15 years 8 months ago
An Overview of the Opus Language and Runtime System
We have recently introduced a new language, called Opus, which provides a set of Fortranlanguage extensions that allow for integrated support of task and data parallelism. It also...
Piyush Mehrotra, Matthew Haines
ASPLOS
2008
ACM
15 years 6 months ago
Parallelizing security checks on commodity hardware
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
Edmund B. Nightingale, Daniel Peek, Peter M. Chen,...
LNCS
1993
15 years 8 months ago
Multimedia Database Systems
– In the past few years considerable demand for user oriented multimedia information systems has developed. These systems must provide a rich set of functionality so that new, co...
Arif Ghafoor, P. Bruce Berra
ENTCS
2007
100views more  ENTCS 2007»
15 years 3 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira
APSEC
2005
IEEE
15 years 9 months ago
A Temporal Logic for Input Output Symbolic Transition Systems
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
Marc Aiguier, Pascale Le Gall, Delphine Longuet, A...