433 search results - page 24 / 87 » Contracts: From Analysis to C Implementation |
112
click to vote
DSD
2010
IEEE
14 years 7 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we present the results of the experimental analysis of the transmission of voice over secure communication links implementing IPsec. Critical parameters characterizi...
EWCBR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
SIGCOMM
2006
ACM
15 years 3 months ago
2006
ACM
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...
132
click to vote
EMNETS
2007
15 years 1 months ago
2007
Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...