686 search results - page 124 / 138 » Foundations for Bidirectional Programming |
174
click to vote
IWPEC
2009
Springer
16 years 12 days ago
2009
Springer
We study the Equitable Connected Partition problem, which is the problem of partitioning a graph into a given number of partitions, such that each partition induces a connected sub...
152
click to vote
CANDC
2009
ACM
16 years 11 days ago
2009
ACM
Whenever we feel those ‘higher’ and hard to define sensations like synchronicity, love, wholeness, and appreciation is this a pattern or illuminative system that is part of a ...
169
click to vote
CODES
2008
IEEE
16 years 10 days ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
165
click to vote
TPHOL
2007
IEEE
16 years 3 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
175
click to vote
CCS
2007
ACM
16 years 1 days ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...