Search Sciweavers | Sciweavers

12115 search results - page 214 / 2423

» Bisimulation of Dynamical Systems

135

click to vote

STOC
1994
ACM

80views Algorithms» more STOC 1994»

Simulating quadratic dynamical systems is PSPACE-complete (preliminary version)

15 years 10 months ago

Download www.cs.technion.ac.il

Sanjeev Arora, Yuval Rabani, Umesh V. Vazirani

claim paper

Read More »

138

click to vote

CASC
2007
Springer

88views Mathematics» more CASC 2007»

Symmetries and Dynamics of Discrete Systems

15 years 10 months ago

Download theorphys.ssu.samara.ru

Vladimir V. Kornyak

claim paper

Read More »

122

click to vote

EPEW
2007
Springer

71views Internet Technology» more EPEW 2007»

Optimal Dynamic Server Allocation in Systems with On/Off Sources

15 years 10 months ago

Download www.cs.ncl.ac.uk

Joris Slegers, Isi Mitrani, Nigel Thomas

claim paper

Read More »

158

click to vote

EUROSYS
2007
ACM

139views Software Engineering» more EUROSYS 2007»

JIT instrumentation: a novel approach to dynamically instrument operating systems

15 years 10 months ago

Download individual.utoronto.ca

Marek Olszewski, Keir Mierle, Adam Czajkowski, Ang...

claim paper

Read More »

125

click to vote

ACSC
2004
IEEE

74views Theoretical Computer Science» more ACSC 2004»

Using Generative Programming to Visualise Hypercode in Complex and Dynamic Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers