Search Sciweavers | Sciweavers

11022 search results - page 146 / 2205

» Programming Systems for Autonomy

111

click to vote

SASO
2007
IEEE

94views Control Systems» more SASO 2007»

Continuous Space-Time Semantics Allow Adaptive Program Execution

15 years 11 months ago

Download web.mit.edu

Jonathan Bachrach, Jacob Beal, Takeshi Fujiwara

claim paper

Read More »

Voted

RTCSA
1998
IEEE

73views Embedded Systems» more RTCSA 1998»

A Worst Case Timing Analysis Technique for Optimized Programs

15 years 9 months ago

Download cc.ee.ntu.edu.tw

Sung-Soo Lim, Jihong Kim, Sang Lyul Min

claim paper

Read More »

109

click to vote

TIC
1998
Springer

83views System Software» more TIC 1998»

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

15 years 8 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

104

Voted

LCR
2000
Springer

126views System Software» more LCR 2000»

High Level Programming Methodologies for Data Intensive Computations

15 years 8 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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers