4401 search results - page 700 / 881 » Computing with Default Logic |
122
Voted
PODC
2003
ACM
15 years 7 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
115
Voted
SLIP
2003
ACM
15 years 7 months ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...
115
Voted
ISHPC
2003
Springer
15 years 7 months ago
2003
Springer
We developed a multithreaded parallel implementation of a sequence alignment algorithm that is able to align whole genomes with reliable output and reasonable cost. This paper pres...
111
Voted
AINA
2010
IEEE
15 years 7 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
124
Voted
ICPADS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents the study and results of running several core multimedia applications on a simultaneous multithreading (SMT) architecture, including some detailed analysis ran...