10159 search results - page 1647 / 2032 » System Design Validation Using Formal Models |
200
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—While intercell interference coordination (ICIC) for the downlink of multi-cell systems in general and orthogonal frequency division multiple access (OFDMA) networks in particul...
203
click to vote
ANLP
1994
15 years 8 months ago
1994
We present the advantages of guided sentences composition for communicating in natural language with computers. We show how guidance can be achieved by means of the partial synthe...
199
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel cycle-approximate performance estimation technique for automatically generated transaction level models (TLMs) for heterogeneous multicore designs. The...
199
click to vote
HASKELL
2006
ACM
16 years 24 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
180
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...