Search Sciweavers | Sciweavers

6274 search results - page 116 / 1255

» Proofs, Programs, Processes

136

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 11 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

156

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 11 months ago

Download se.aist-nara.ac.jp

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

claim paper

Read More »

143

click to vote

CSEE
2001
Springer

90views Software Engineering» more CSEE 2001»

Integrating Pair Programming into a Software Development Process

15 years 10 months ago

Download collaboration.csc.ncsu.edu

Laurie A. Williams

claim paper

Read More »

140

click to vote

DBTEL
2001
Springer

123views Database» more DBTEL 2001»

Query Processing in Embedded Control Programs

15 years 10 months ago

Download www.cs.uwaterloo.ca

David Toman, Grant E. Weddell

claim paper

Read More »

133

click to vote

EH
2000
IEEE

95views Hardware» more EH 2000»

Genetic Programming of Process Decomposition Strategies for Evolvable Hardware

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers