481 search results - page 75 / 97 » Differential symbolic execution |
84
Voted
ISVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
HOLOMAS
2007
Springer
15 years 4 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
86
Voted
ASWEC
2006
IEEE
15 years 4 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...