1926 search results - page 360 / 386 » Modeling and Model Checking Software Product Lines |
155
click to vote
WSC
1998
15 years 7 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
191
click to vote
BMCBI
2011
15 years 28 days ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
213
click to vote
TKDE
2002
15 years 5 months ago
2002
On-Line Analytical Processing (OLAP) refers to the technologies that allow users to efficiently retrieve data from the data warehouse for decision-support purposes. Data warehouses...
173
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
170
click to vote
ICS
2007
Tsinghua U.
16 years 2 days ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...