Sciweavers

3404 search results - page 287 / 681
» C Programming Tutorial
Sort
View
144
Voted
PLDI
2012
ACM
13 years 6 months ago
Dynamic synthesis for relaxed memory models
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Mart...
121
Voted
RECONFIG
2009
IEEE
165views VLSI» more  RECONFIG 2009»
15 years 10 months ago
Composable and Persistent-State Application Swapping on FPGAs Using Hardwired Network on Chip
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
Muhammad Aqeel Wahlah, Kees G. W. Goossens
126
Voted
CALCO
2009
Springer
156views Mathematics» more  CALCO 2009»
15 years 10 months ago
Van Kampen Colimits as Bicolimits in Span
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
Tobias Heindel, Pawel Sobocinski
118
Voted
ICPR
2008
IEEE
15 years 10 months ago
A fast revised simplex method for SVM training
Active set methods for training the Support Vector Machines (SVM) are advantageous since they enable incremental training and, as we show in this research, do not exhibit exponent...
Christopher Sentelle, Georgios C. Anagnostopoulos,...
146
Voted
ICALP
2007
Springer
15 years 9 months ago
Continuous Capacities on Continuous State Spaces
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
Jean Goubault-Larrecq