Search Sciweavers | Sciweavers

11022 search results - page 155 / 2205

» Programming Systems for Autonomy

157

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 23 days ago

Download www.princeton.edu

Vijaykumar Ramamurthi, Jason McCollum, Christopher...

claim paper

Read More »

164

click to vote

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

16 years 22 days ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

132

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 21 days ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

170

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 20 days ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

151

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

The Spec# Programming System: Challenges and Directions

16 years 20 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers