3281 search results - page 147 / 657 » An Approach to use Executable Models for Testing |
130
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
163
Voted
IDEAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Testing of database applications is of great importance. A significant issue in database application testing consists in the availability of representative data. In this paper we...
134
Voted
EOR
2011
14 years 10 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...
127
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
133
Voted
FPGA
2010
ACM
15 years 1 months ago
2010
ACM
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...