9626 search results - page 1665 / 1926 » Invariant Based Programming |
151
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Electronic commerce (e-commerce) covers a wide range of business transactions. Usually, a transactions includes products, i.e. goods or services. Often, e-commerce websites are int...
179
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...
226
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
151
click to vote
ASAP
2000
IEEE
15 years 11 months ago
2000
IEEE
MicroSIMD architectures incorporating subword parallelism are very efficient for application-specific media processors as well as for fast multimedia information processing in gen...
181
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...