Sciweavers

4241 search results - page 143 / 849
» A Knowledge-Based Software Information System
Sort
View
DAC
2006
ACM
16 years 1 months ago
Efficient detection and exploitation of infeasible paths for software timing analysis
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
RTSS
2003
IEEE
15 years 6 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
103
Voted
AIIA
2005
Springer
15 years 6 months ago
Solving Italian Crosswords Using the Web
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
Giovanni Angelini, Marco Ernandes, Marco Gori
LCPC
2004
Springer
15 years 6 months ago
A Practical MHP Information Analysis for Concurrent Java Programs
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
Lin Li, Clark Verbrugge
AAAI
1998
15 years 2 months ago
Probabilistic Frame-Based Systems
Two of the most important threads of work in knowledge representation today are frame-based representation systems (FRS's) and Bayesian networks (BNs). FRS's provide an ...
Daphne Koller, Avi Pfeffer