Search Sciweavers | Sciweavers

11022 search results - page 155 / 2205

» Programming Systems for Autonomy

139

click to vote

ISVLSI
2005
IEEE

95views VLSI» more ISVLSI 2005»

System Level Methodology for Programming CMP Based Multi-Threaded Network Processor Architectures

16 years 3 days ago

Download www.princeton.edu

Vijaykumar Ramamurthi, Jason McCollum, Christopher...

claim paper

Read More »

143

click to vote

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

16 years 2 days ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

108

click to vote

GECCO
2005
Springer

146views Optimization» more GECCO 2005»

Design of air pump system using bond graph and genetic programming method

16 years 1 days ago

Download www.cs.bham.ac.uk

Kisung Seo, Erik D. Goodman, Ronald C. Rosenberg

claim paper

Read More »

150

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 6 hour ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

137

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

The Spec# Programming System: Challenges and Directions

16 years 6 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers