Sciweavers

852 search results - page 38 / 171
» entcs 2010
Sort
View
ENTCS
2010
68views more  ENTCS 2010»
15 years 3 months ago
A Massively Scalable Architecture For Instant Messaging & Presence
Jorrit Schippers, Anne Remke, Henk Punt, Maarten W...
ENTCS
2006
110views more  ENTCS 2006»
15 years 3 months ago
The Linear Logical Abstract Machine
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
Eduardo Bonelli
ENTCS
2006
139views more  ENTCS 2006»
15 years 3 months ago
Analytical Modeling for Operating System Schedulers on NUMA Systems
Rafael Chanin, Mônica Corrêa, Paulo Fe...
58
Voted
ENTCS
2006
104views more  ENTCS 2006»
15 years 3 months ago
A Verification Approach for GALS Integration of Synchronous Components
Frederic Doucet, Massimiliano Menarini, Ingolf H. ...
105
Voted
ENTCS
2006
125views more  ENTCS 2006»
15 years 3 months ago
On Timed Models and Full Abstraction
models and full abstraction Gavin Lowe and Jo
Gavin Lowe, Joël Ouaknine