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 158 / 3156
»
Engineering in Software
Sort
relevance
views
votes
recent
update
View
thumb
title
144
click to vote
AMAST
2008
Springer
104
views
Software Engineering
»
more
AMAST 2008
»
Separation Logic Contracts for a Java-Like Language with Fork/Join
15 years 8 months ago
Download
www.cs.ru.nl
Christian Haack, Clément Hurlin
claim paper
Read More »
141
click to vote
ARCS
2008
Springer
80
views
Software Engineering
»
more
ARCS 2008
»
High Performance Multigrid on Current Large Scale Parallel Computers
15 years 8 months ago
Download
www10.informatik.uni-erlangen.de
Tobias Gradl, Ulrich Rüde
claim paper
Read More »
149
click to vote
CBSE
2008
Springer
125
views
Software Engineering
»
more
CBSE 2008
»
Model Checking of Control-User Component-Based Parametrised Systems
15 years 8 months ago
Download
www.fi.muni.cz
Pavlína Vareková, Ivana Cerná
claim paper
Read More »
129
click to vote
CISSE
2008
Springer
135
views
Software Engineering
»
more
CISSE 2008
»
Aspect-Oriented Approach to Operating System Development Empirical Study
15 years 8 months ago
Download
www.informatics.org.cn
Jaakko Kuusela, Harri Tuominen
claim paper
Read More »
142
click to vote
ASWSD
2006
Springer
278
views
Software Engineering
»
more
ASWSD 2006
»
Modeling with the Timing Definition Language (TDL)
15 years 8 months ago
Download
www.softwareresearch.net
Wolfgang Pree, Josef Templ
claim paper
Read More »
« Prev
« First
page 158 / 3156
Last »
Next »
