3218 search results - page 476 / 644 » Timed Extensions for SDL |
147
click to vote
CIE
2005
Springer
15 years 8 months ago
2005
Springer
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...
184
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
162
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
183
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Influence maximization, defined by Kempe, Kleinberg, and Tardos (2003), is the problem of finding a small set of seed nodes in a social network that maximizes the spread of influe...
174
click to vote
DLS
2005
15 years 8 months ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...