12272 search results - page 1799 / 2455 » Experimental program analysis |
226
Voted
DEXA
2005
Springer
16 years 25 days ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...
243
click to vote
MSWIM
2004
ACM
16 years 21 days ago
2004
ACM
In this paper the behavior of the upcoming MAC protocol for wireless LANs IEEE 802.11e is investigated. Based on the results, we propose an enhancement for Hybrid Coordination Fun...
199
Voted
TACAS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
195
Voted
ISCAS
2003
IEEE
16 years 17 days ago
2003
IEEE
We propose an algorithm based on singular value decomposition (SVD) to reduce the number of process variation variables. With few process variation variables, fault simulation and...
231
click to vote
ITC
2003
IEEE
16 years 17 days ago
2003
IEEE
Embedded memories are among the most widely used cores in current system-on-chip (SOC) implementations. Memory cores usually occupy a significant portion of the chip area, and do...