481 search results - page 75 / 97 » Differential symbolic execution |
165
click to vote
ISVLSI
2007
IEEE
16 years 13 days 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...
158
click to vote
KBSE
2007
IEEE
16 years 13 days 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...
140
click to vote
FMCAD
2007
Springer
16 years 10 days 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...
133
click to vote
HOLOMAS
2007
Springer
16 years 10 days 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...
163
click to vote
ASWEC
2006
IEEE
16 years 7 days 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...