Search Sciweavers | Sciweavers

6274 search results - page 116 / 1255

» Proofs, Programs, Processes

106

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 8 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

116

click to vote

METRICS
2003
IEEE

110views Software Engineering» more METRICS 2003»

Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension

15 years 8 months ago

Download se.aist-nara.ac.jp

Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken...

claim paper

Read More »

Voted

CSEE
2001
Springer

90views Software Engineering» more CSEE 2001»

Integrating Pair Programming into a Software Development Process

15 years 7 months ago

Download collaboration.csc.ncsu.edu

Laurie A. Williams

claim paper

Read More »

107

click to vote

DBTEL
2001
Springer

123views Database» more DBTEL 2001»

Query Processing in Embedded Control Programs

15 years 7 months ago

Download www.cs.uwaterloo.ca

David Toman, Grant E. Weddell

claim paper

Read More »

click to vote

EH
2000
IEEE

95views Hardware» more EH 2000»

Genetic Programming of Process Decomposition Strategies for Evolvable Hardware

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers