853 search results - page 90 / 171 » Delimited Continuations in Operating Systems |
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
— The paper explains the basic ideas of how to model the dynamical properties of switched DC-DC converters by means of the so-called generalized transfer functions (GTFs). Switch...
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
AOSE
2005
Springer
15 years 3 months ago
2005
Springer
Changes and adaptations are always necessary after the deployment of a multiagent system (MAS), as well as of any other type of software systems. Some of these changes may be simpl...
AMS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract In legged systems, springy legs facilitate gaits with subsequent contact and flight phases. Here, we test whether electrical motors can generate leg behaviors suitable for...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...