2251 search results - page 288 / 451 » Specification and Implementation Problems for C |
141
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
Flash crowds and high concentrations of users in wireless LANs (WLANs) cause significant interference problems and unsustainable load at access points. This leads to poor connect...
153
Voted
PARA
1995
Springer
15 years 8 months ago
1995
Springer
This paper describes a proposal for a set of Parallel Basic Linear Algebra Subprograms PBLAS . The PBLAS are targeted at distributed vector-vector, matrix-vector and matrixmatrix...
153
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
151
click to vote
ISPD
2000
ACM
15 years 9 months ago
2000
ACM
modules can be handled in constraint graphs efficiently. This Floorplan area minimization is an important problem because many modules have shape flexibilities during the floorplan...
139
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...