851 search results - page 36 / 171 » A Framework of Syntactic Models for the Implementation of Vi... |
ESCIENCE
2006
IEEE
14 years 15 days ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
ICPADS
1996
IEEE
14 years 1 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
ACSD
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
FDL
2005
IEEE
14 years 2 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
NAACL
2004
13 years 10 months ago
2004
Entity detection and tracking is a relatively new addition to the repertoire of natural language tasks. In this paper, we present a statistical language-independent framework for ...