652 search results - page 75 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
109
click to vote
JCSC
2002
14 years 9 months ago
2002
There is a growing need to analyze and optimize the stand-by component of power in digital circuits designed for portable and battery-powered applications. Since these circuits re...
111
click to vote
SBMF
2010
Springer
14 years 4 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
WSDM
2010
ACM
15 years 7 months ago
2010
ACM
In information retrieval, relevance of documents with respect to queries is usually judged by humans, and used in evaluation and/or learning of ranking functions. Previous work ha...
ERCIMDL
2006
Springer
15 years 1 months ago
2006
Springer
The advent of digital libraries along with the tremendous growth of digital content call for distributed and scalable approaches for managing vast data collections. Peer-to-peer (P...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
—Presented are a methodology and a DFII-based tool for AC-stability analysis of a wide variety of closed-loop continuous-time (operational amplifiers and other linear circuits). ...