Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
8627
search results - page 109 / 1726
»
Software Engineering Using RATionale
Sort
relevance
views
votes
recent
update
View
thumb
title
73
click to vote
IWPC
2002
IEEE
90
views
Software Engineering
»
more
IWPC 2002
»
On Using a Benchmark to Evaluate C++ Extractors
15 years 4 months ago
Download
www.ics.uci.edu
In this paper, we take the concept of benchmarking as used extensively in computing and apply it to evaluating C++ fact extractors. We demonstrated the efficacy of this approach b...
Susan Elliott Sim, Richard C. Holt, Steve M. Easte...
claim paper
Read More »
59
Voted
CGO
2006
IEEE
119
views
Software Engineering
»
more
CGO 2006
»
Using Machine Learning to Focus Iterative Optimization
15 years 5 months ago
Download
www.anc.ed.ac.uk
Felix V. Agakov, Edwin V. Bonilla, John Cavazos, B...
claim paper
Read More »
50
click to vote
AC
1999
Springer
102
views
Software Engineering
»
more
AC 1999
»
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store
15 years 3 months ago
Download
www.dcs.qmul.ac.uk
Paulo Ferreira, Marc Shapiro, Xavier Blondel, Oliv...
claim paper
Read More »
78
click to vote
AMAST
2006
Springer
124
views
Software Engineering
»
more
AMAST 2006
»
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
15 years 2 months ago
Download
pop-art.inrialpes.fr
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...
claim paper
Read More »
71
click to vote
CSSE
2004
IEEE
73
views
Software Engineering
»
more
CSSE 2004
»
Transformation-based temporal aggregation using order-based buffer replacement strategy
14 years 11 months ago
Download
www.cems.uvm.edu
Joon-Ho Woo, Byung Suk Lee, Min-Jae Lee, Jae-Gil L...
claim paper
Read More »
« Prev
« First
page 109 / 1726
Last »
Next »