6381 search results - page 75 / 1277 » Alternative Implementation of the C |
124
click to vote
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
137
click to vote
DIMVA
2006
15 years 5 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
116
click to vote
RAS
2010
15 years 2 months ago
2010
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
104
Voted
ICAS
2005
IEEE
15 years 9 months ago
2005
IEEE
In Service-Oriented Architectures (SOA), services advertise a description of the type of service they can provide. Sometimes, services also advertise Quality of Information (QoI) ...
174
click to vote
HPCA
1998
IEEE
15 years 8 months ago
1998
IEEE
Good network hardware performance is often squandered by overheads for accessing the network interface (NI) within a host. NIs that support user-level messaging avoid frequent ope...