3267 search results - page 284 / 654 » Computational Models of Language Acquisition |
183
click to vote
DAC
2006
ACM
16 years 19 days ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
143
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
168
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
210
click to vote
SSDBM
1994
IEEE
15 years 10 months ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
176
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...