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
15777
search results - page 372 / 3156
»
Engineering in Software
Sort
relevance
views
votes
recent
update
View
thumb
title
124
click to vote
AMAST
2006
Springer
115
views
Software Engineering
»
more
AMAST 2006
»
Opaque Predicates Detection by Abstract Interpretation
15 years 9 months ago
Download
profs.sci.univr.it
Mila Dalla Preda, Matias Madou, Koen De Bosschere,...
claim paper
Read More »
106
click to vote
EMSOFT
2006
Springer
73
views
Software Engineering
»
more
EMSOFT 2006
»
Energy-efficient dynamic memory allocators at the middleware level of embedded systems
15 years 9 months ago
Download
www.artist-embedded.org
Stylianos Mamagkakis, David Atienza, Christophe Po...
claim paper
Read More »
127
click to vote
IWSM
2000
Springer
79
views
Software Engineering
»
more
IWSM 2000
»
A Generic Model for Assessing Process Quality
15 years 9 months ago
Download
eprints.ecs.soton.ac.uk
Manoranjan Satpathy, Rachel Harrison, Colin F. Sno...
claim paper
Read More »
122
click to vote
TACS
1991
Springer
99
views
Software Engineering
»
more
TACS 1991
»
An Abstract Interpretation for ML Equality Kinds
15 years 9 months ago
Download
www.ircs.upenn.edu
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
claim paper
Read More »
120
click to vote
ISSTA
2010
ACM
168
views
Software Engineering
»
more
ISSTA 2010
»
Generating test cases for specification mining
15 years 8 months ago
Download
www.st.cs.uni-saarland.de
Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...
claim paper
Read More »
« Prev
« First
page 372 / 3156
Last »
Next »
