Sciweavers

5377 search results - page 158 / 1076

» Programming Languages For Interactive Computing

106

ICALP
2004
Springer

91views Programming Languages» more ICALP 2004»

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

15 years 10 months ago

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

Download publications.ias.edu

Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsy...

claim paper

Read More »

89

ICALP
2004
Springer

90views Programming Languages» more ICALP 2004»

Improved Results for Data Migration and Open Shop Scheduling

15 years 10 months ago

Improved Results for Data Migration and Open Shop Scheduling

Download www.ru.is

Rajiv Gandhi, Magnús M. Halldórsson,...

claim paper

Read More »

91

ICALP
2004
Springer

99views Programming Languages» more ICALP 2004»

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

15 years 10 months ago

Deterministic M2M Multicast in Radio Networks: (Extended Abstract)

Download people.scs.carleton.ca

Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...

claim paper

Read More »

105

ICALP
2004
Springer

135views Programming Languages» more ICALP 2004»

Counting in Trees for Free

15 years 10 months ago

Counting in Trees for Free

Download www.cduce.org

Helmut Seidl, Thomas Schwentick, Anca Muscholl, Pe...

claim paper

Read More »

147

Voted

FORTE
2007

116views Formal Methods» more FORTE 2007»

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling

15 years 6 months ago

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling

Download homepages.di.fc.ul.pt

Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...

João Abreu, Laura Bocchi, José Luiz ...

claim paper

Read More »

« Prev « First page 158 / 1076 Last » Next »