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
5630
search results - page 9 / 1126
»
Computability in Specification
Sort
relevance
views
votes
recent
update
View
thumb
title
91
click to vote
ECOOPW
1999
Springer
80
views
Distributed And Parallel Com...
»
more
ECOOPW 1999
»
A Tool Suite to Support Aspect-Oriented Specification
15 years 7 months ago
Download
trese.cs.utwente.nl
Lynne Blair, Gordon S. Blair
claim paper
Read More »
98
click to vote
ECOOPW
1999
Springer
87
views
Distributed And Parallel Com...
»
more
ECOOPW 1999
»
Specification of Behaviour in Component Frameworks
15 years 7 months ago
Download
research.microsoft.com
Günter Graw
claim paper
Read More »
72
click to vote
IPPS
1998
IEEE
84
views
Distributed And Parallel Com...
»
more
IPPS 1998
»
Derivation of Fail-Aware Membership Service Specifications
15 years 7 months ago
Download
ipdps.cc.gatech.edu
Christof Fetzer, Flaviu Cristian
claim paper
Read More »
94
click to vote
DAC
1997
ACM
59
views
Computer Architecture
»
more
DAC 1997
»
Synthesis of Application Specific Programmable Processors
15 years 7 months ago
Download
www.cs.ucla.edu
Kyosun Kim, Ramesh Karri, Miodrag Potkonjak
claim paper
Read More »
106
Voted
BIRTHDAY
2009
Springer
170
views
Applied Computing
»
more
BIRTHDAY 2009
»
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics
15 years 7 months ago
Download
www.schemeworkshop.org
Malgorzata Biernacka, Olivier Danvy
claim paper
Read More »
« Prev
« First
page 9 / 1126
Last »
Next »