5465 search results - page 311 / 1093 » Assigning Types to Processes |
125
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
130
click to vote
WEBI
2005
Springer
15 years 9 months ago
2005
Springer
For the evaluation of web sites a multitude of metrics are available. Apart from general statistical measures, success metrics reflect the degree to which a web site achieves its...
130
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
129
click to vote
IPMU
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Many geographical applications need to model spatial phenomena with vague or indeterminate boundaries and interiors. A popular paradigm adopted by the GIS community for t...
133
click to vote
ISLPED
2009
ACM
15 years 9 months ago
2009
ACM
We investigate techniques to design 45nm minimum-energy subthreshold CMOS circuits under timing constraints, considering the practical case of an 8-bit multiplier. We first show ...