2106 search results - page 141 / 422 » Specifying C concepts |
167
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
160
click to vote
INFOCOM
1998
IEEE
15 years 10 months ago
1998
IEEE
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
184
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
157
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
In general, automatic layout composition techniques based on pre-designed devices facilitate the production of small IC numbers by prefabricating their basic structures. They also...
150
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...