2273 search results - page 420 / 455 » On the Expressiveness and Complexity of ATL |
CODES
1999
IEEE
15 years 2 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
The problem of maximizing system utility by allocating a single finite resource to satisfy discrete Quality of Service (QoS) requirements of multiple applications along multiple Q...
104
click to vote
TPHOL
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
110
click to vote
GECCO
1999
Springer
15 years 2 months ago
1999
Springer
This paper discusses the simulation results of a model of biological development for neural networks based on a regulatory genome. The model’s results are analyzed using the fra...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...