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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
16725
search results - page 235 / 3345
»
Engineering Software Correctness
Sort
relevance
views
votes
recent
update
View
thumb
title
101
Voted
ASWEC
2004
IEEE
103
views
Software Engineering
»
more
ASWEC 2004
»
Generating Web Applications from Use Case Scenarios
15 years 7 months ago
Download
liris.cnrs.fr
Allan Loh, Mike Robey
claim paper
Read More »
110
Voted
APSEC
2006
IEEE
88
views
Software Engineering
»
more
APSEC 2006
»
Component composition through architectural patterns for problem frames
15 years 7 months ago
Download
www-lipn.univ-paris13.fr
Christine Choppy, Denis Hatebur, Maritta Heisel
claim paper
Read More »
74
Voted
CGO
2004
IEEE
69
views
Software Engineering
»
more
CGO 2004
»
Extending Path Profiling across Loop Backedges and Procedure Boundaries
15 years 7 months ago
Download
www.cs.ucr.edu
Sriraman Tallam, Xiangyu Zhang, Rajiv Gupta
claim paper
Read More »
106
click to vote
CGO
2004
IEEE
101
views
Software Engineering
»
more
CGO 2004
»
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
15 years 7 months ago
Download
llvm.org
Chris Lattner, Vikram S. Adve
claim paper
Read More »
113
Voted
ARCS
2006
Springer
102
views
Software Engineering
»
more
ARCS 2006
»
Controller Synthesis for Mapping Partitioned Programs on Array Architectures
15 years 7 months ago
Download
www12.cs.fau.de
Hritam Dutta, Frank Hannig, Jürgen Teich
claim paper
Read More »
« Prev
« First
page 235 / 3345
Last »
Next »