Sciweavers

11716 search results - page 293 / 2344
» Computable symbolic dynamics
Sort
View
138
Voted
ECOOPW
1998
Springer
15 years 11 months ago
An AOP Case with Static and Dynamic Aspects
Peter Kenens, Sam Michiels, Frank Matthijs, Bert R...
151
Voted
JSSPP
1998
Springer
15 years 11 months ago
Dynamic Coscheduling on Workstation Clusters
Patrick Sobalvarro, Scott Pakin, William E. Weihl,...
159
Voted
IEEEPACT
1997
IEEE
15 years 11 months ago
MDL: A Language and Compiler for Dynamic Program Instrumentation
Jeffrey K. Hollingsworth, Barton P. Miller, M. J. ...
125
Voted
DAC
2010
ACM
15 years 11 months ago
BooM: a decision procedure for boolean matching with abstraction and dynamic learning
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang
150
Voted
CONCUR
2008
Springer
15 years 9 months ago
Global Progress in Dynamically Interleaved Multiparty Sessions
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marc...