Sciweavers

5744 search results - page 372 / 1149
» System level design, a VHDL based approach
Sort
View
AAAI
1997
15 years 8 months ago
Statistical Parsing with a Context-Free Grammar and Word Statistics
We describe a parsing system based upon a language model for English that is, in turn, based upon assigning probabilities to possible parses for a sentence. This model is used in ...
Eugene Charniak
IPPS
1998
IEEE
15 years 11 months ago
Prioritized Token-Based Mutual Exclusion for Distributed Systems
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
Frank Mueller
EUROPAR
2005
Springer
16 years 9 days ago
Soft Computing Approach to Performance Analysis of Parallel and Distributed Programs
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
Hong Linh Truong, Thomas Fahringer
HICSS
2008
IEEE
163views Biometrics» more  HICSS 2008»
16 years 1 months ago
Building a Test Suite for Web Application Scanners
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 27 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon