Sciweavers

2300 search results - page 167 / 460
» Maximally Concurrent Programs
Sort
View
114
Voted
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
15 years 4 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...
104
Voted
JOT
2007
95views more  JOT 2007»
15 years 2 months ago
The Infer Type Refactoring and its Use for Interface-Based Programming
Interface-based programming, i.e. the systematic use of interface types in variable declarations, serves the decoupling of classes and increases a program’s changeability. To ma...
Friedrich Steimann
109
Voted
ICIP
2010
IEEE
15 years 18 days ago
An integer programming approach to visual compliance
Visual compliance has emerged as a new paradigm to ensure that employees comply with processes and policies in a business context [1]. In this paper, we focus on videos from retai...
Lei Ding, Quanfu Fan, Sharath Pankanti
124
Voted
RECOMB
2009
Springer
15 years 9 months ago
Pseudo Boolean Programming for Partially Ordered Genomes
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
Sébastien Angibaud, Guillaume Fertin, Annel...
122
Voted
GLOBECOM
2008
IEEE
15 years 9 months ago
Power Allocation in Wireless Relay Networks: A Geometric Programming-Based Approach
—1 In this paper, we consider an amplify-and-forward (AF) wireless relay system where multiple source nodes communicate with their corresponding destination nodes with the help o...
Khoa T. Phan, Tho Le-Ngoc, Sergiy A. Vorobyov, Chi...