6279 search results - page 1042 / 1256 » Objects as session-typed processes |
162
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
Recently, graphics processing units (GPUs) are providing increasingly higher performance with programmable internal processors, namely vertex processors (VPs) and fragment process...
159
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
153
click to vote
ISORC
2006
IEEE
16 years 20 days ago
2006
IEEE
The Software Communications Architecture (SCA), which has been adopted as an SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common de...
160
click to vote
IWPC
2006
IEEE
16 years 20 days ago
2006
IEEE
The use of modern programming paradigms and technologies, such as object orientation, inheritance, polymorphism and aspect orientation, facilitate a number of important software e...
181
click to vote
SIPS
2006
IEEE
16 years 20 days ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...