Sciweavers

2123 search results - page 328 / 425
» Composition of Cyber-Physical Systems
Sort
View
IJCM
2002
73views more  IJCM 2002»
15 years 17 days ago
Space-Time Equations for Non-Unimodular Mappings
Abstract. The class of systems of uniform recurrence equations (UREs) is closed under unimodular transformations. As a result, every systolic array described by a unimodular mappin...
Jingling Xue, Patrick M. Lenders
96
Voted
TSMC
2010
14 years 7 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
15 years 4 months ago
Indistinguishability Amplification
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
Ueli M. Maurer, Krzysztof Pietrzak, Renato Renner
ASPLOS
2006
ACM
15 years 6 months ago
Supporting nested transactional memory in logTM
Nested transactional memory (TM) facilitates software composition by letting one module invoke another without either knowing whether the other uses transactions. Closed nested tr...
Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore...
88
Voted
ICAT
2003
IEEE
15 years 6 months ago
Director Oriented Virtual Cinematography
Traditionally film making costs a huge amount of money and a great deal of time and labor. Converting traditional techniques of film making into virtual techniques could save mone...
Shakil Hannan, Masanobu Yamamoto