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
14331
search results - page 240 / 2867
»
On the modeling and analysis of obligations
Sort
relevance
views
votes
recent
update
View
thumb
title
171
click to vote
SPIN
2004
Springer
112
views
Theoretical Computer Science
»
more
SPIN 2004
»
Formal Analysis of Processor Timing Models
15 years 12 months ago
Download
spinroot.com
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm
claim paper
Read More »
144
click to vote
VMCAI
2004
Springer
84
views
Software Engineering
»
more
VMCAI 2004
»
Static Analysis versus Software Model Checking for Bug Finding
15 years 12 months ago
Download
se.inf.ethz.ch
Dawson R. Engler, Madanlal Musuvathi
claim paper
Read More »
112
click to vote
ASYNC
2003
IEEE
74
views
Hardware
»
more
ASYNC 2003
»
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits
15 years 12 months ago
Download
labs.oracle.com
Mark B. Josephs
claim paper
Read More »
141
click to vote
FDL
2003
IEEE
88
views
Natural Language Processing
»
more
FDL 2003
»
A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems
15 years 12 months ago
Download
www.ti.cs.uni-frankfurt.de
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using aï¬...
Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
claim paper
Read More »
130
click to vote
ICALT
2003
IEEE
77
views
Machine Learning
»
more
ICALT 2003
»
Theoretical Analysis of Mission-Based Learning Model
15 years 12 months ago
Download
www.nkhc.edu.tw
Yueh-Chun Shih, Nian-Shing Chen
claim paper
Read More »
« Prev
« First
page 240 / 2867
Last »
Next »