Sciweavers

2903 search results - page 34 / 581
» On the univalence of an integral operator
Sort
View
GLVLSI
2008
IEEE
190views VLSI» more  GLVLSI 2008»
16 years 17 days ago
A low leakage 9t sram cell for ultra-low power operation
This paper presents the design and evaluation of a new SRAM cell made of nine transistors (9T). The proposed 9T cell utilizes a scheme with separate read and write wordlines; it i...
Sheng Lin, Yong-Bin Kim, Fabrizio Lombardi
EUROPAR
2007
Springer
16 years 8 days ago
Parallelization of Bulk Operations for STL Dictionaries
STL dictionaries like map and set are commonly used in C++ programs. We consider parallelizing two of their bulk operations, namely the construction from many elements, and the ins...
Leonor Frias, Johannes Singler
ECAI
2004
Springer
15 years 11 months ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
APSEC
1997
IEEE
15 years 10 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu
GI
2007
Springer
15 years 10 months ago
Tracking the Asymmetric Threat - Operational Requirements and Technical Solutions for Security Applications
: The asymmetric adversary poses a serious threat to civil and military facilities. Hence, the defence against such adversaries, the so-called anti asymmetric warfare, is of intere...
Felix Opitz, Kaeye Dästner, Thomas Kausch