3220 search results - page 343 / 644 » Constrained Graph Processes |
170
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
— The research field of partitioning for electronic systems started to attract significant attention of scientists about fifteen years ago. Gaining ever more importance due to...
165
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
141
click to vote
INFOCOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— In this paper, we seek to understand the intrinsic reasons for the well-known phenomenon of heavy-tailed degree in the Internet AS graph and argue that in contrast to tradition...
180
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
158
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
In this work we consider battery powered portable systems which either have Field Programmable Gate Arrays (FPGA) or voltage and frequency scalable processors as their main proces...