Search Sciweavers | Sciweavers

11022 search results - page 155 / 2205

» Programming Systems for Autonomy

115

Voted

ISVLSI
2005
IEEE

95views VLSI» more ISVLSI 2005»

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

15 years 10 months ago

Download www.princeton.edu

Vijaykumar Ramamurthi, Jason McCollum, Christopher...

claim paper

Read More »

125

click to vote

PASTE
2005
ACM

107views Software Engineering» more PASTE 2005»

Making distributed systems secure with program analysis and transformation

15 years 10 months ago

Download groups.csail.mit.edu

Andrew C. Myers

claim paper

Read More »

Voted

GECCO
2005
Springer

146views Optimization» more GECCO 2005»

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

15 years 10 months ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

125

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 10 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

117

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

The Spec# Programming System: Challenges and Directions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers