3045 search results - page 450 / 609 » Formal Approaches to Software Architecture |
186
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
321
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
197
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
163
click to vote
CGO
2007
IEEE
16 years 29 days ago
2007
IEEE
The increasing complexity of hardware features for recent processors makes high performance code generation very challenging. In particular, several optimization targets have to b...
209
click to vote
PLDI
2005
ACM
16 years 5 days ago
2005
ACM
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...