Sciweavers

34181 search results - page 271 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
JSA
1998
94views more  JSA 1998»
14 years 10 months ago
Trading computing power with ReGTime
ReGTime1 (Rent Giga ops someTimes) is a software package for an envisioned \computing power market". ReGTime helps customers to search for providers who allow their workstati...
Bernd Dreier, Annja Huber, Theo Ungerer, Markus Za...
IMCSIT
2010
14 years 6 months ago
SyMGiza++: A Tool for Parallel Computation of Symmetrized Word Alignment Models
SyMGiza++ -- a tool that computes symmetric word alignment models with the capability to take advantage of multi-processor systems -- is presented. A series of fairly simple modifi...
Marcin Junczys-Dowmunt, Arkadiusz Szal
HICSS
2009
IEEE
144views Biometrics» more  HICSS 2009»
15 years 6 months ago
Identity Inference as a Privacy Risk in Computer-Mediated Communication
New Web 2.0 applications, with their emphasis on collaboration and communication, hold the promise of major advances in social connectivity and coordination; however, they also in...
Sara Motahari, Sotirios G. Ziavras, Richard P. Sch...
FM
2009
Springer
123views Formal Methods» more  FM 2009»
15 years 5 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
MEMOCODE
2008
IEEE
15 years 5 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier