Search Sciweavers | Sciweavers

4666 search results - page 32 / 934

» Equations on Timed Languages

117

click to vote

TOOLS
2009
IEEE

232views Programming Languages» more TOOLS 2009»

Flow-Centric, Back-in-Time Debugging

15 years 10 months ago

Download scg.unibe.ch

Adrian Lienhard, Julien Fierz, Oscar Nierstrasz

claim paper

Read More »

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

15 years 10 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

104

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

15 years 9 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

113

click to vote

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

15 years 8 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

click to vote

ECOOP
2003
Springer

98views Programming Languages» more ECOOP 2003»

Java Subtype Tests in Real-Time

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers