1557 search results - page 128 / 312 » Programming up to Congruence |
ECRTS
2005
IEEE
15 years 4 months ago
2005
IEEE
Branch prediction mechanisms are becoming commonplace within current generation processors. Dynamic branch predictors, albeit able to predict branches quite accurately in average,...
IEEEPACT
2005
IEEE
15 years 4 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
ICCS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. There are several computer programs that align mRNA with its genomic counterpart to determine exon boundaries. Though most of these programs perform such alignment effici...
IPSN
2005
Springer
15 years 4 months ago
2005
Springer
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
RTA
2005
Springer
15 years 4 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...