3902 search results - page 346 / 781 » Hardware Synthesis from C C Models |
178
click to vote
QSIC
2005
IEEE
16 years 9 days ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
181
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we model Probabilistic Packet Marking (PPM) schemes for IP traceback as an identification problem of a large number of markers. Each potential marker is associated ...
174
click to vote
CAD
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
158
click to vote
P2P
2003
IEEE
16 years 11 hour ago
2003
IEEE
Abstract—In this paper we explore the incentive and architectural issues that arise in Consortia of Peer-to-Peer Wireless Local Area Networks. A P2P WLAN Consortium (PWC) is a co...
178
click to vote
SIGMETRICS
2009
ACM
16 years 1 months ago
2009
ACM
Many emerging scientific and industrial applications require transferring multiple Tbytes of data on a daily basis. Examples include pushing scientific data from particle accele...