1702 search results - page 170 / 341 » Doomed program points |
162
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
While classical kernel-based classifiers are based on a single kernel, in practice it is often desirable to base classifiers on combinations of multiple kernels. Lanckriet et al. ...
161
click to vote
TOOLS
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
173
click to vote
ISCA
2007
IEEE
16 years 13 days ago
2007
IEEE
Analytical modeling is applied to the automated design of application-specific superscalar processors. Using an analytical method bridges the gap between the size of the design sp...
149
Voted
ESOP
2007
Springer
16 years 12 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
144
click to vote
OOPSLA
2007
Springer
16 years 11 days ago
2007
Springer
We present the TIC (Transactions with Isolation and Cooperation) model for concurrent programming. TIC adds to standard transactional memory the ability for a transaction to obser...