9626 search results - page 1272 / 1926 » Invariant Based Programming |
179
Voted
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
213
Voted
CODES
2005
IEEE
16 years 27 days ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...
212
Voted
CODES
2005
IEEE
16 years 27 days ago
2005
IEEE
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...
195
Voted
DATE
2005
IEEE
16 years 27 days ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
199
click to vote
ICDCS
2005
IEEE
16 years 27 days ago
2005
IEEE
In recent years, data broadcasting becomes a promising technique to design a mobile information system with power conservation, high scalability and high bandwidth utilization. Ho...