Search Sciweavers | Sciweavers

11022 search results - page 146 / 2205

» Programming Systems for Autonomy

130

click to vote

SASO
2007
IEEE

94views Control Systems» more SASO 2007»

Continuous Space-Time Semantics Allow Adaptive Program Execution

16 years 21 days ago

Download web.mit.edu

Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara

claim paper

Read More »

119

click to vote

RTCSA
1998
IEEE

73views Embedded Systems» more RTCSA 1998»

A Worst Case Timing Analysis Technique for Optimized Programs

15 years 10 months ago

Download cc.ee.ntu.edu.tw

Sung-Soo Lim, Jihong Kim, Sang Lyul Min

claim paper

Read More »

129

click to vote

TIC
1998
Springer

83views System Software» more TIC 1998»

A Toolkit for Constructing Type- and Constraint-Based Program Analyses

15 years 10 months ago

Download www.cs.umd.edu

Alexander Aiken, Manuel Fähndrich, Jeffrey S....

claim paper

Read More »

122

click to vote

LCR
2000
Springer

126views System Software» more LCR 2000»

High Level Programming Methodologies for Data Intensive Computations

15 years 10 months ago

Download bmi.osu.edu

Gagan Agrawal, Renato Ferreira, Ruoming Jin, Joel ...

claim paper

Read More »

click to vote

CDC
2008
IEEE

136views Control Systems» more CDC 2008»

Linear programming techniques for the identification of place/transition nets

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers