4285 search results - page 454 / 857 » Differential Behavioral Analysis |
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
178
click to vote
JSW
2007
15 years 6 months ago
2007
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...
165
Voted
ALIFE
2004
15 years 6 months ago
2004
Maturana and Varela's notion of autopoiesis has the potential to transform the conceptual foundation of biology as well as the cognitive, behavioral, and brain sciences. In or...
181
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
As part of an NSF-funded IT Workforce grant, the authors conducted ethnographic research to provide deep understanding to the learning environment of computer science classrooms. ...
154
Voted
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Many systems employ caches to improve performance. While isolated caches have been studied in-depth, multicache systems are not well understood, especially in networks w...