5900 search results - page 81 / 1180 » Dependable Systems |
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
WSC
2004
13 years 11 months ago
2004
An important step in designing stochastic simulation is modeling the uncertainty in the input environment of the system being studied. Obtaining a reasonable representation of thi...
DFT
2008
IEEE
14 years 4 months ago
2008
IEEE
Integrated circuits (IC) targeting at the streaming applications for tomorrow are becoming a fast growing market. Applications such as beamforming require mass computing capabilit...
KR
2010
Springer
14 years 15 hour ago
2010
Springer
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different e...
ICSE
2003
IEEE-ACM
14 years 3 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...